import java.io.File;

import org.w3c.dom.Element;


public class AutomatonParser extends Parser {

	public AutomatonParser(){}
	
	public AutomatonParser(File file)
	{
		super(file);
	}
	
	public Automaton parse()
	{
		Element auto = doc.getDocumentElement();
		return getAutomaton(auto);
	}
}
